Fiore, Marcelo: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (60)
Найпопулярніші
Перелік
- Перелік
- Таблиця

Lawvere theories and C-systems

Fiore, Marcelo, Voevodsky, Vladimir

Журнал:

Proceedings of the American Mathematical Society

Рік:

2020

Файл:

PDF, 257 KB

2020

An objective representation of the Gaussian integers

Marcelo Fiore, Tom Leinster

Журнал:

Journal of Symbolic Computation

Рік:

2004

Мова:

english

Файл:

PDF, 291 KB

english, 2004

Two models of synthetic domain theory

Marcelo P. Fiore, Giuseppe Rosolini

Журнал:

Journal of Pure and Applied Algebra

Рік:

1997

Мова:

english

Файл:

PDF, 688 KB

english, 1997

An abstract characterization of

Marcelo Fiore, Tom Leinster

Журнал:

Semigroup Forum

Рік:

2010

Мова:

english

Файл:

PDF, 477 KB

english, 2010

Objects of categories as complex numbers

Marcelo Fiore, Tom Leinster

Журнал:

Advances in Mathematics

Рік:

2005

Мова:

english

Файл:

PDF, 234 KB

english, 2005

Double effort: Parental behavior of wild Azara's owl monkeys in the face of twins

Huck, Maren, Van Lunenburg, Mari, Dávalos, Victor, Rotundo, Marcelo, Di Fiore, Anthony, Fernandez-Duque, Eduardo

Журнал:

American Journal of Primatology

Рік:

2014

Мова:

english

Файл:

PDF, 275 KB

english, 2014

Tumor Microenvironment Remodeling by 4-Methylumbelliferone Boosts the Antitumor Effect of Combined Immunotherapy in Murine Colorectal Carcinoma

Malvicini, Mariana, Fiore, Esteban, Ghiaccio, Valentina, Piccioni, Flavia, Rizzo, Miguel, Olmedo Bonadeo, Lucila, García, Mariana, Rodríguez, Marcelo, Bayo, Juan, Peixoto, Estanislao, Atorrasagasti, C

Журнал:

Molecular Therapy

Рік:

2015

Мова:

english

Файл:

PDF, 1.50 MB

english, 2015

Unique factorisation lifting functors and categories of linearly-controlled processes

BUNGE, MARTA, FIORE, MARCELO P.

Журнал:

Mathematical Structures in Computer Science

Рік:

2000

Мова:

english

Файл:

PDF, 408 KB

english, 2000

Remarks on isomorphisms in typed lambda calculi with empty and sum types

Marcelo Fiore, Roberto Di Cosmo, Vincent Balat

Журнал:

Annals of Pure and Applied Logic

Рік:

2006

Мова:

english

Файл:

PDF, 265 KB

english, 2006

Preface

Marcelo Fiore

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2007

Мова:

english

Файл:

PDF, 100 KB

english, 2007

Term Equational Systems and Logics: (Extended Abstract)

Marcelo Fiore, Chung-Kil Hur

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2008

Мова:

english

Файл:

PDF, 566 KB

english, 2008

Comparing Operational Models of Name-Passing Process Calculi

Marcelo Fiore, Sam Staton

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2004

Мова:

english

Файл:

PDF, 276 KB

english, 2004

The Bicategory-Theoretic Solution of Recursive Domain Equations

Gian Luca Cattani, Marcelo P. Fiore

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2007

Мова:

english

Файл:

PDF, 437 KB

english, 2007

Preface

Luca Cardelli, Marcelo Fiore, Glynn Winskel

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2007

Мова:

english

Файл:

PDF, 124 KB

english, 2007

Topology via Logic: Steven Vickers, (Cambridge University Press) 0 521 36062 5 hardback, 0 521 57651 2 paperback

Marcelo P Fiore

Журнал:

Science of Computer Programming

Рік:

1999

Мова:

english

Файл:

PDF, 246 KB

english, 1999

Domains in H

Marcelo P. Fiore, Giuseppe Rosolini

Журнал:

Theoretical Computer Science

Рік:

2001

Мова:

english

Файл:

PDF, 217 KB

english, 2001

The Category of Cpos From a Synthetic Viewpoint

Marcelo Fiore, Giuseppe Rosolini

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

1997

Мова:

english

Файл:

PDF, 1.07 MB

english, 1997

Fibred models of processes

Marcelo Fiore

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

1999

Файл:

PDF, 22 KB

1999

Acute diffuse pneumocephalus resulting from chronic intranasal cocaine abuse

Roberto Gazzeri, Marcelo Galarza, Alex Alfieri, Claudio Fiore

Журнал:

Acta Neurochirurgica

Рік:

2011

Мова:

english

Файл:

PDF, 85 KB

english, 2011

On the construction of free algebras for equational systems

Marcelo Fiore, Chung-Kil Hur

Журнал:

Theoretical Computer Science

Рік:

2009

Мова:

english

Файл:

PDF, 1.68 MB

english, 2009

A Coinduction Principle for Recursive Data Types Based on Bisimulation

Marcelo P. Fiore

Журнал:

Information and Computation

Рік:

1996

Мова:

english

Файл:

PDF, 761 KB

english, 1996

Comparing operational models of name-passing process calculi

Marcelo Fiore, Sam Staton

Журнал:

Information and Computation

Рік:

2006

Мова:

english

Файл:

PDF, 737 KB

english, 2006

A congruence rule format for name-passing process calculi

Marcelo Fiore, Sam Staton

Журнал:

Information and Computation

Рік:

2009

Мова:

english

Файл:

PDF, 1015 KB

english, 2009

Anterior expandable cylindrical cage reconstruction after cervical spinal metastasis resection

Alex Alfieri, Roberto Gazzeri, Massimiliano Neroni, Claudio Fiore, Marcelo Galarza, Stefano Esposito

Журнал:

Clinical Neurology and Neurosurgery

Рік:

2011

Мова:

english

Файл:

PDF, 320 KB

english, 2011

Phylogeny of culturable cyanobacteria from Brazilian mangroves

Silva, Caroline Souza Pamplona, Genuário, Diego Bonaldo, Vaz, Marcelo Gomes Marçal Vieira, Fiore, Marli Fátima

Журнал:

Systematic and Applied Microbiology

Рік:

2014

Мова:

english

Файл:

PDF, 2.60 MB

english, 2014

Nonheterocytous cyanobacteria from Brazilian saline-alkaline lakes

Andreote, Ana Paula Dini, Vaz, Marcelo Gomes Marçal Vieira, Genuário, Diego Bonaldo, Barbiero, Laurent, Rezende-Filho, Ary Tavares, Fiore, Marli Fátima, Raven, J.

Журнал:

Journal of Phycology

Рік:

2014

Мова:

english

Файл:

PDF, 666 KB

english, 2014

Analytic functors between presheaf categories over groupoids

Fiore, Marcelo

Журнал:

Theoretical Computer Science

Рік:

2014

Мова:

english

Файл:

PDF, 628 KB

english, 2014

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Isomorphisms of generic recursive polynomial types

Fiore, Marcelo

Рік:

2004

Мова:

english

Файл:

PDF, 167 KB

english, 2004

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - Second-Order and Dependently-Sorted Abstract Syntax

Fiore, Marcelo

Рік:

2008

Мова:

english

Файл:

PDF, 449 KB

english, 2008

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic

Fiore, Marcelo, Hamana, Makoto

Рік:

2013

Мова:

english

Файл:

PDF, 348 KB

english, 2013

Use of Tissue-Glue–Coated Collagen Sponge (TachoSil) to Repair Minor Cerebral Dural Venous Sinus Lacerations

Gazzeri, Roberto, Galarza, Marcelo, Fiore, Claudio, Callovini, Giorgio, Alfieri, Alex

Журнал:

Neurosurgery

Рік:

2015

Мова:

english

Файл:

PDF, 276 KB

english, 2015

An enrichment theorem for an axiomatisation of categories of domains and continuous functions

FIORE, MARCELO P.

Журнал:

Mathematical Structures in Computer Science

Рік:

1997

Мова:

english

Файл:

PDF, 753 KB

english, 1997

Order-enrichment for categories of partial maps

Fiore, Marcelo P.

Журнал:

Mathematical Structures in Computer Science

Рік:

1995

Мова:

english

Файл:

PDF, 1.42 MB

english, 1995

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums

Balat, Vincent, Di Cosmo, Roberto, Fiore, Marcelo

Рік:

2004

Мова:

english

Файл:

PDF, 185 KB

english, 2004

[ACM Press the 4th ACM SIGPLAN international conference - Pittsburgh, PA, USA (2002.10.06-2002.10.08)] Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '02 - Semantic analysis of normalisation by evaluation for typed lambda calculus

Fiore, Marcelo

Рік:

2002

Мова:

english

Файл:

PDF, 301 KB

english, 2002

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Substitution, jumps, and algebraic effects

Fiore, Marcelo, Staton, Sam

Рік:

2014

Мова:

english

Файл:

PDF, 1.55 MB

english, 2014

[ACM Press the seventh ACM SIGPLAN workshop - Tokyo, Japan (2011.09.18-2011.09.18)] Proceedings of the seventh ACM SIGPLAN workshop on Generic programming - WGP '11 - A foundation for GADTs and inductive families

Hamana, Makoto, Fiore, Marcelo

Рік:

2011

Мова:

english

Файл:

PDF, 445 KB

english, 2011

Failure rates and complications of interspinous process decompression devices: a European multicenter study

Gazzeri, Roberto, Galarza, Marcelo, Neroni, Massimiliano, Fiore, Claudio, Faiola, Andrea, Puzzilli, Fabrizio, Callovini, Giorgio, Alfieri, Alex

Журнал:

Neurosurgical FOCUS

Рік:

2015

Мова:

english

Файл:

PDF, 2.62 MB

english, 2015

[ACM Press the 43rd Annual ACM SIGPLAN-SIGACT Symposium - St. Petersburg, FL, USA (2016.01.20-2016.01.22)] Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016 - A theory of effects and resources: adjunction models and polarised calculi

Curien, Pierre-Louis, Fiore, Marcelo, Munch-Maccagnoni, Guillaume

Рік:

2016

Мова:

english

Файл:

PDF, 494 KB

english, 2016

Acute Hemorrhagic Cyst of the Ligamentum Flavum

Gazzeri, Roberto, Canova, Alessandro, Fiore, Claudio, Galarza, Marcelo, Neroni, Massimiliano, Giordano, Marco

Журнал:

Journal of Spinal Disorders & Techniques

Рік:

2007

Мова:

english

Файл:

PDF, 139 KB

english, 2007

Isomorphisms of generic recursive polynomial types

Fiore, Marcelo

Журнал:

ACM SIGPLAN Notices

Рік:

2004

Мова:

english

Файл:

PDF, 167 KB

english, 2004

Evaluating methods for purifying cyanobacterial cultures by qPCR and high-throughput Illumina sequencing

Heck, Karina, Machineski, Gabriela Silva, Alvarenga, Danillo Oliveira, Vaz, Marcelo Gomes Marçal Vieira, de Mello Varani, Alessandro, Fiore, Marli Fátima

Журнал:

Journal of Microbiological Methods

Рік:

2016

Мова:

english

Файл:

PDF, 490 KB

english, 2016

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums

Balat, Vincent, Di Cosmo, Roberto, Fiore, Marcelo

Журнал:

ACM SIGPLAN Notices

Рік:

2004

Мова:

english

Файл:

PDF, 185 KB

english, 2004

Heterocyte-forming cyanobacteria from Brazilian saline-alkaline lakes

Genuário, Diego Bonaldo, Andreote, Ana Paula Dini, Vaz, Marcelo Gomes Marçal Vieira, Fiore, Marli Fátima

Журнал:

Molecular Phylogenetics and Evolution

Рік:

2017

Мова:

english

Файл:

PDF, 724 KB

english, 2017

Chronic hyperprolactinemia evoked by disruption of lactotrope dopamine D2 receptors impacts on liver and adipocyte genes related to glucose and insulin balance

Luque, Guillermina María, Lopez-Vicchi, Felicitas, Ornstein, Ana María, Brie, Belén, De Winne, Catalina, Fiore, Esteban, Perez-Millan, Maria Inés, Mazzolini, Guillermo, Rubinstein, Marcelo, Becu-Villa

Журнал:

American Journal of Physiology-Endocrinology and Metabolism

Рік:

2016

Мова:

english

Файл:

PDF, 1.22 MB

english, 2016

Finite-size scaling for discontinuous nonequilibrium phase transitions

de Oliveira, Marcelo M., da Luz, M. G. E., Fiore, Carlos E.

Журнал:

Physical Review E

Рік:

2018

Мова:

english

Файл:

PDF, 430 KB

english, 2018

EphA3 Expressed in the Chicken Tectum Stimulates Nasal Retinal Ganglion Cell Axon Growth and Is Required for Retinotectal Topographic Map Formation

Ortalli, Ana Laura, Fiore, Luciano, Di Napoli, Jennifer, Rapacioli, Melina, Salierno, Marcelo, Etchenique, Roberto, Flores, Vladimir, Sanchez, Viviana, Carri, Néstor Gabriel, Scicolone, Gabriel, Sugih

Журнал:

PLoS ONE

Рік:

2012

Мова:

english

Файл:

PDF, 1.21 MB

english, 2012

4Mu Decreases CD47 Expression on Hepatic Cancer Stem Cells and Primes a Potent Antitumor T Cell Response Induced by Interleukin-12

Rodríguez, Marcelo M., Fiore, Esteban, Bayo, Juan, Atorrasagasti, Catalina, García, Mariana, Onorato, Agostina, Domínguez, Luciana, Malvicini, Mariana, Mazzolini, Guillermo

Журнал:

Molecular Therapy

Рік:

2018

Мова:

english

Файл:

PDF, 2.45 MB

english, 2018

Microscopía electrónica de Histoplasma capsulatum aislado de un paciente con histoplasmosis diseminada

Pedersen, Dina, Fiore, Carlos, Arechavala, Alicia, Paniccia, Laura, Occhionero, Marcelo

Журнал:

Revista argentina de microbiología

Рік:

2018

Файл:

PDF, 611 KB

2018

Majority vote model with ancillary noise in complex networks

Encinas, J.M., Chen, Hanshuang, de Oliveira, Marcelo M., Fiore, Carlos E.

Журнал:

Physica A: Statistical Mechanics and its Applications

Рік:

2019

Мова:

english

Файл:

PDF, 468 KB

english, 2019